Hausdorff Center for Mathematics Hausdorff Center for Mathematics 6:33 5 years ago 13 918 Скачать Далее
Shashank Pathak: GFLean: Autoformalisation for Lean via GF Hausdorff Center for Mathematics 35:18 20 hours ago 25 Скачать Далее
Mathematik ist in Musik - Mathematics is in Music Hausdorff Center for Mathematics 0:14 4 years ago 4 567 Скачать Далее
Panel Discussion on Formalization in Mathematics Hausdorff Center for Mathematics 1:57:40 3 weeks ago 384 Скачать Далее
Sebastian Ullrich: Profiling Tools in Lean Hausdorff Center for Mathematics 59:25 20 hours ago 27 Скачать Далее
Wojciech Nawrocki: Commutative diagrams in Lean (Demo) Hausdorff Center for Mathematics 22:45 6 days ago 79 Скачать Далее
William Farmer: An Alternative Approach to Formal Mathematics Hausdorff Center for Mathematics 33:41 2 weeks ago 509 Скачать Далее
Emily Riehl: Formalizing post-rigorous mathematics Hausdorff Center for Mathematics 38:15 9 days ago 385 Скачать Далее
Evan Cavallo: Formalizing cubical interpretations of homotopy type theory Hausdorff Center for Mathematics 55:13 22 hours ago No Скачать Далее
Bonn International Graduate School of Mathematics Universität Bonn 2:28 8 years ago 14 925 Скачать Далее
Trimester-Programm des Bonner Hausdorff Research Institute for Mathematics Universität Bonn 2:51 11 years ago 765 Скачать Далее
Valeria de Paiva: AI tools for Better Math Hausdorff Center for Mathematics 46:20 1 month ago 207 Скачать Далее
Lawrence Paulson: Formalising Advanced Mathematics in Isabelle/HOL Hausdorff Center for Mathematics 33:34 1 month ago 144 Скачать Далее
Dennis Müller: Injecting Formal Mathematics into LaTeX Hausdorff Center for Mathematics 24:06 2 weeks ago 160 Скачать Далее
Panorama of Mathematics - Interview with Ola Svensson Hausdorff Center for Mathematics 5:01 7 months ago 294 Скачать Далее